Nuprl Definition : abgrp 13,42
AbGrp == {g:Group{i}| Comm(|g|;*)}  
latex

clarification:

AbGrp{i} == {g:Group{i}| Comm(|g|;*g)}  
latex

Upgroups 1
Wellformedness Lemmasabgrp wf
DefinitionsGroup{i}, Comm(T;op), |g|, *

origin